- 双语例句 更多例句
以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。
互联网摘选
最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义。
互联网摘选
- 相关词组
- final semantics[计]最终语义学;
- logic semantics[计]逻辑语义学;
- dynamic semantics[计]动态语义学;
- program semantics程序语义学;
- general semantics普通语义;
- verb semantics动词语义学;
- data semantics[计]数据语义学;
- formal semantics形式语义学[程序];
- abstract semantics[计]抽象语义学;
- world semantics[计] 世界语义学;
- language semantics[计]语言语义学;
- lexical semantics词汇语义学;
- tree semantics[计]树状语义学;
- semantics of data[计] 数据语义学;
- standard semantics[计]标准语义学;
- fixpoint semantics[计]定点语义学;
- body semantics体态语义学;手势语义学;
- trace semantics[计]轨迹语义学;
- query semantics[计]查询语义学;
- fault semantics[计]故障语义学;
- 今日热词
- 热门搜索
- eight num.八;八人划船队;由八人划的船;
- USD abbr.美元;美金;美国处方集;国防部副部长(Under Secretary of Defense);终极强度设计(Ultimate Strength Design)网络美元(US Dollar);美金(US dollars);年销售额
- so that 以便;因此;
- suitable adj. 合适的,适当的,适宜的,恰当的;
- Arctic adj.北极的,寒带的;极寒的;(态度)冰冷的;n.北极圈,北极地带;(常复数)<美>御寒防水套鞋;
- compromise n.折中;妥协方案;达成协议;v.妥协;违背;使陷入危险;
- information n.消息;数据;问讯处;
- standard n.标准;军旗;adj.标准的;合格的;一般的;
- decimal format 十进格式;
- sibyl n.(古代希腊、罗马的)女预言家;
- document n.文件;(计算机)文档;v.用文件证明;记录,记载(详情)
- Italian n.意大利人;意大利语;意大利国民;adj.意大利的;意大利人的;意大利语的;意大利文化的;
